Note on circuits containing specified edges

Title Number of Hamiltonian Circuits Containing Specified Edges in an Incom plete Graph and Its Application

A procedure for finding the number of Hamiltonian cir'cuits containing specined edges in a given incomplete graph is introduced and it is shown that the number of such Hamiltonian circuits can be expressed by a general fbrmula when the specified edges make a systematic form with all edges belonging to complement of the given incomplete graph. This procedure is applied to rnultigraphs with paral...

Vertex-disjoint cycles containing specified edges in a bipartite graph

Dirac and Ore-type degree conditions are given for a bipartite graph to contain vertex disjoint cycles each of which contains a previously specified edge. This solves a conjecture of Wang in [6].

Checking Equivalence for Circuits Containing Incompletely Specified Boxes

We consider the problem of checking whether an implementation which contains parts with incomplete information is equivalent to a given full specification. We study implementations which are not completely specified, but contain boxes which are associated with incompletely specified functions (called Incompletely Specified Boxes or IS– Boxes). After motivating the use of implementations with In...

A Note on Generalized Edges∗

Although most relational data is represented via relatively simple dyadic (and occasionally hypergraphic) structures, a much wider range of relational formalisms is possible. These alternatives provide more natural representations for relationships with complex edge structure (e.g., those in which there are many distinct ways of participating in a given edge, in which edges require particular n...

Long cycles through specified edges and vertices